1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Programming language theory
• Type theory
• Data types
• Functional languages
• Functional programming
• Procedural programming languages
• Standard ML
• Algebraic data type
• Tagged union
• Unification

Issue LIX • FebruaryFundamentals of SOA Security Testing by Mamoon Yunus, CEO of Crosscheck Networks Abstract: This article describes the foundations of SOA security testing including functional, performance, in

Source URL: servicetechmag.com

• Computing
• Web services
• Enterprise application integration
• Software
• Architectural pattern
• Service-oriented architecture
• WS-Security
• SOA Security
• Security Assertion Markup Language
• Software testing
• XML appliance
• Rational Service Tester for SOA Quality

Improving Pattern Tracking with a Language-Aware Tree Differencing Algorithm Nicolas Palix Jean-Rémy Falleri

Source URL: pages.lip6.fr

Odyssey 2012 The Speaker and Language Recognition WorkshopJune 2012, Singapore Description and analysis of the Brno276 system for LRE2011 Niko Br¨ummer,2 Sandro Cumani,3 Ondˇrej Glembek,1 Martin Karafi´at,1 Pav

Source URL: www.fit.vutbr.cz

• Algebra
• Mathematics
• Vectors
• Abstract algebra
• Linear algebra
• Machine learning
• Computer accessibility
• Speech recognition
• Euclidean vector
• Pattern recognition
• National Institute of Standards and Technology
• Calibration

The GeoLink Modular Oceanography Ontology Adila Krisnadhi1,8 , Yingjie Hu2 , Krzysztof Janowicz2 , Pascal Hitzler1 , Robert Arko3 , Suzanne Carbotte3 , Cynthia Chandler4 , Michelle Cheatham1 , Douglas Fils5 , Timothy Fin

Source URL: geog.ucsb.edu

• Computing
• Ontology
• Information science
• Knowledge representation
• Information
• Semantic Web
• Technical communication
• Upper ontology
• Web Ontology Language
• Formal ontology
• BORO
• Software design pattern

Mon.O1b.06 Patrol Team Language Identification System for DARPA RATS P1 Evaluation

Source URL: www.fit.vutbr.cz

• Machine learning
• Artificial intelligence
• Learning
• Mathematics
• Computational neuroscience
• Computational statistics
• Computer accessibility
• Speech recognition
• Statistical classification
• Artificial neural network
• Pattern recognition
• RATS

Reranking with Linguistic and Semantic Features for Arabic Optical Character Recognition Nadi Tomeh, Nizar Habash, Ryan Roth, Noura Farra Center for Computational Learning Systems, Columbia University {nadi,habash,ryanr,

Source URL: aclweb.org

• Computational linguistics
• Learning to rank
• Semantic similarity
• Optical character recognition
• Word error rate
• Word-sense disambiguation
• Statistical hypothesis testing
• Natural language processing
• Support vector machine
• Pattern recognition
• Language model
• Ranker

Toward an Architecture for Never-Ending Language Learning Andrew Carlson1 , Justin Betteridge1 , Bryan Kisiel1 , Burr Settles1 , Estevam R. Hruschka Jr.2 , and Tom M. Mitchell1 1 School of Computer Science, Carnegie Mel

Source URL: rtw.ml.cmu.edu

• Philosophy
• Cognitive science
• Linguistics
• Grammar
• Coupled pattern learner
• Machine learning
• Learning
• Predicate
• Argument
• Control
• Relation
• Educational technology

Odyssey 2012 The Speaker and Language Recognition WorkshopJune 2012, Singapore Speaker vectors from Subspace Gaussian Mixture Model as complementary features for Language Identification

Source URL: www.fit.vutbr.cz

• Algebra
• Mathematics
• Linear algebra
• Automatic identification and data capture
• Machine learning
• Vectors
• Computational linguistics
• Subspace Gaussian Mixture Model
• Speech recognition
• Mixture model
• Pattern recognition
• Euclidean vector

A Pattern of Language Evolution Richard P. Gabriel IBM Research Guy L. Steele Jr. Sun Laboratories

Source URL: dreamsongs.net